Termination and Verification for Ill-Posed Semidefinite Programming Problems
نویسنده
چکیده
We investigate ill-posed semidefinite programming problems for which Slater’s constraint qualifications fail, and propose a new reliable termination criterium dealing with such problems. This criterium is scale-independent and provides verified forward error bounds for the true optimal value, where all rounding errors due to floating point arithmetic are taken into account. It is based on a boundedness qualification, which is satisfied for many problems. Numerical experiments, including combinatorial problems, are presented.
منابع مشابه
On Verified Numerical Computations in Convex Programming
This survey contains recent developments for computing verified results of convex constrained optimization problems, with emphasis on applications. Especially, we consider the computation of verified error bounds for non-smooth convex conic optimization in the framework of functional analysis, for linear programming, and for semidefinite programming. A discussion of important problem transforma...
متن کاملIll-Posed and Linear Inverse Problems
In this paper ill-posed linear inverse problems that arises in many applications is considered. The instability of special kind of these problems and it's relation to the kernel, is described. For finding a stable solution to these problems we need some kind of regularization that is presented. The results have been applied for a singular equation.
متن کاملA Recurrent Neural Network Model for Solving Linear Semidefinite Programming
In this paper we solve a wide rang of Semidefinite Programming (SDP) Problem by using Recurrent Neural Networks (RNNs). SDP is an important numerical tool for analysis and synthesis in systems and control theory. First we reformulate the problem to a linear programming problem, second we reformulate it to a first order system of ordinary differential equations. Then a recurrent neural network...
متن کاملPreprocessing and Regularization for Degenerate Semidefinite Programs
This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which the Slater constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require the Slater c...
متن کاملPreprocessing and Reduction for Degenerate Semidefinite Programs
4 This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which Slater’s constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require Slater’s con...
متن کامل